Hask Is Not a Category
math.andrej.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
Graded Transformers: A Symbolic-Geometric Approach to Structured Learning
arxiv.org·2d
🔠Type-Level Programming
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·11h·
Discuss: Hacker News
✓Automated Theorem Proving
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·8h·
Discuss: Hacker News
🐫OCaml
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·40m·
Discuss: Hacker News
🔠Type-Level Programming
(Weak) Factorization Systems
bartoszmilewski.com·5d·
Discuss: Hacker News
🐫OCaml
One Weird Trick to Untie Landin's Knot
arxiv.org·1d
🐫OCaml
My Journey to Pure No-Code Addition (Spoiler: Plot Twist Ending)
news.ycombinator.com·9h·
Discuss: Hacker News
🔬Static Analysis
Formal Inertia
daedeluskite.com·13h·
Discuss: Hacker News
🏹Effect Systems
Semantic Numeration Systems as Dynamical Systems
arxiv.org·1d
✓Automated Theorem Proving
Tropical solution of discrete best approximation problems
arxiv.org·16h
🐫OCaml
Laurence Tratt: Which Parsing Approach?
tratt.net·2d·
Discuss: r/programming
🔬Static Analysis
Not everything needs GPT. Sometimes a simple equation will do
danielball.com·7h·
Discuss: Hacker News
✓Automated Theorem Proving
The Dartboard Sequence
mathpages.com·19h·
Discuss: Hacker News
🎮Verification Games
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Explainability Through Systematicity: The Hard Systematicity Challenge for Artificial Intelligence
arxiv.org·16h
💻CS
The Math Is Haunted
overreacted.io·1d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
🎮Verification Games
Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits
arxiv.org·1d
🔍Formal Verification
Well-Founded Coalgebras Meet K\"onig's Lemma
arxiv.org·6d
🐫OCaml
Identity and behaviour
ismaelcelis.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🔍Formal Verification